Temporal logic for social networks

Abstract This paper introduces a logic with class of social network models that is based on standard Linear Temporal Logic, which allows for leveraging the power existing model checkers analysis networks. We provide short literature overview, and then define our its axiomatization, present some simple motivational examples both formulas show soundness completeness via translation into propositional formulas. Lastly, we discuss checking, time complexity Susceptible–Infectious–Recovered variation infectious diseases.